Magma Proof of Strict Inequalities for Minimal Degrees of Finite Groups
نویسنده
چکیده
The minimal faithful permutation degree of a finite group G, denote by μ(G) is the least non-negative integer n such that G embeds inside the symmetric group Sym(n). In this paper, we outline a Magma proof that 10 is the smallest degree for which there are groups G and H such that μ(G×H) < μ(G) + μ(H).
منابع مشابه
Groups with Two Extreme Character Degrees and their Minimal Faithful Representations
for a finite group G, we denote by p(G) the minimal degree of faithful permutation representations of G, and denote by c(G), the minimal degree of faithful representation of G by quasi-permutation matrices over the complex field C. In this paper we will assume that, G is a p-group of exponent p and class 2, where p is prime and cd(G) = {1, |G : Z(G)|^1/2}. Then we will s...
متن کاملDesign of Robust Finite-Time Nonlinear Controllers for a 6-DOF Autonomous Underwater Vehicle for Path Tracking Objective
In this paper, kinematic and dynamic equations of a 6-DOF (Degrees Of Freedom) autonomous underwater vehicle (6-DOF AUV) are introduced and described completely. By developing the nonsingular terminal sliding mode control method, three separate groups of control inputs are proposed for the autonomous underwater vehicle subjected to uncertainties including parametric uncertainties, unmodeled dyn...
متن کاملGroups with one conjugacy class of non-normal subgroups - a short proof
For a finite group $G$ let $nu(G)$ denote the number of conjugacy classes of non-normal subgroups of $G$. We give a short proof of a theorem of Brandl, which classifies finite groups with $nu(G)=1$.
متن کاملStrong convergence of variational inequality problem Over the set of common fixed points of a family of demi-contractive mappings
In this paper, by using the viscosity iterative method and the hybrid steepest-descent method, we present a new algorithm for solving the variational inequality problem. The sequence generated by this algorithm is strong convergence to a common element of the set of common zero points of a finite family of inverse strongly monotone operators and the set of common fixed points of a finite family...
متن کاملLinear optimization on Hamacher-fuzzy relational inequalities
In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated where the feasible region is formed as the intersection of two inequality fuzzy systems and Hamacher family of t-norms is considered as fuzzy composition. Hamacher family of t-norms is a parametric family of continuous strict t-norms, whose members are decreasing functions of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009